University of Manchester - PDFSEARCH.IO - Document Search Engine

University of Manchester
Results: 1471

#	Item
381	The Relation Reflection Scheme Peter Aczel Schools of Mathematics and Computer Science The University of Manchester September 14, 2007 Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2007-09-14 08:20:42
382	On the Computability of Region-Based Euclidean Logics Yavor Nenov and Ian Pratt-Hartmann School of Computer Science, University of Manchester, UK {nenovy,ipratt}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2010-09-01 07:06:02
383	Transformation Monoids in Programming Language Semantics Uday S. Reddy1 1 University of Birmingham Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2013-07-26 07:41:49
384	Computation and conjugacy in hypoplactic and sylvester monoids, and other homogeneous monoids Alan J. Cain Centre for Mathematics and Applications, New University of Lisbon Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2015-04-27 07:04:08
385	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:50
386	Guidelines for developing extensions on the FuGE Object Model Author: Andrew Jones, School of Computer Science, University of Manchester Email: _ FuGE URL: _http://fuge.sourceforge.net/_ Version: Add to Reading List Source URL: fuge.sourceforge.net Language: English - Date: 2007-06-29 06:24:49
387	I DILIP RAGHAVAN, Bounding, splitting, and almost disjointness. Department of Mathematics,University of Toronto, Toronto, ON M5S 2E4, Canada . E-mail: . A famous (still) open problem in the theo Add to Reading List Source URL: www.cl.eps.manchester.ac.uk - Date: 2014-06-13 10:48:30
388	Semigroups with skeletons and Zappa-Szép products Rida-E Zenab University of York NBSAN, Manchester July, 24th 2013 Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2013-07-25 09:52:29
389	Computer Science University of Manchester A complete axiom system for polygonal mereotopology of the real plane Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-08-16 13:52:05
390	CS3191 Section 6 Games and evolution Andrea Schalk School of Computer Science, University of Manchester Andrea Schalk: CS3191 Section 6 – p. 1/57 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-06 05:32:29

UPDATE